Institute for System Programming

Results: 57



#Item
31Unix / Troff / Typesetting / Macro programming languages / Mandoc / Groff / Man page / Nroff / Roff / Computing / Software / System software

Deprecating groff for BSD manual display Kristaps Dˇzonsons∗ Swedish Royal Institute of Technology Abstract

Add to Reading List

Source URL: 2009.asiabsdcon.org

Language: English - Date: 2014-01-03 03:46:42
32Virtual reality / Object-oriented programming / Science / Interpretation / Scientific modelling / Simulation / Danubia / Unified Modeling Language / Class diagram / Software engineering / Operations research / Computing

DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin ∗ Michael Barth, Rolf Hennicker, Andreas Kraus, Matthias Ludwig Institute for Informatics, Ludwig-Maximilians-Universit¨a

Add to Reading List

Source URL: www.pst.ifi.lmu.de

Language: English - Date: 2006-06-09 07:45:14
33Natural language processing / Knowledge representation / Knowledge / Semantics / Semantic similarity / Web 2.0 / Word-sense disambiguation / Wikipedia / Information retrieval / Computational linguistics / Linguistics / Science

Effective Extraction of Thematically Grouped Key Terms From Text Maria Grineva Maxim Grinev and Dmitry Lizorkin Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow, Russia[removed]

Add to Reading List

Source URL: mint.typepad.com

Language: English - Date: 2009-03-16 11:27:46
34Linguistics / Natural language processing / Semantic similarity / Word-sense disambiguation / Wikipedia / SemEval / Heuristic / SimRank / Algorithm / Computational linguistics / Semantics / Science

Efficient Ranking and Computation of Semantic Relatedness and its Application to Word Sense Disambiguation Maxim Grinev, Dmitry Lizorkin, Denis Turdakov, Pavel Velikhov Institute for System Programming Russian Academy of

Add to Reading List

Source URL: modis.ispras.ru

Language: English - Date: 2009-04-09 04:33:31
354GL / Web development / Business intelligence / SAS / Application server / Web application / Server / Web server / World Programming System / Computing / Software / Software architecture

SAS/IntrNet 9.1: Overview ® The correct bibliographic citation for this manual is as follows: SAS Institute Inc[removed]SAS/IntrNet ® 9.1: Overview. Cary, NC: SAS Institute Inc. SAS/IntrNet® 9.1: Overview

Add to Reading List

Source URL: support.sas.com

Language: English - Date: 2007-10-19 18:32:17
36Flowchart / Technology / Technical communication / Computer programming / Diagrams

Attachment 10 AIDS Institute Reporting System Directions: Please respond to the questions below within the body of this document and upload as Attachment 10. There is no page limitation for this Attachment.

Add to Reading List

Source URL: www.healthresearch.org

Language: English - Date: 2014-08-20 14:32:02
37Software engineering / Computing / Cognition / Computational linguistics / Aesthetics / Representation / Sign / Language / Object / Charles Sanders Peirce / Semiotics / Object-oriented programming

A TRAINABLE SPOKEN LANGUAGE UNDERSTANDING SYSTEM FOR VISUAL OBJECT SELECTION Deb Roy, Peter Gorniak, Niloy Mukherjee, and Josh Juster The Media Laboratory Massachusetts Institute of Technology 20 Ames Street, Cambridge,

Add to Reading List

Source URL: www.media.mit.edu

Language: English - Date: 2002-05-03 22:41:42
38Reconfigurable computing / Robot / Mobile robot / International Space Station / Autonomous robot / Modular programming / Modularity / Partial re-configuration / Reconfigurable Manufacturing System / Spaceflight / Holism / Self-reconfiguring modular robot

A Reconfigurable Robotic Exploratory Vehicle for Extreme Environments Ayanna Howard, Issa Nesnas, Barry Werger, Dan Helmick Jet Propulsion Laboratory, California Institute of Technology

Add to Reading List

Source URL: www-robotics.jpl.nasa.gov

Language: English - Date: 2013-03-28 13:19:30
39Type theory / Parametric polymorphism / Standard ML / Type system / Type inference / ML / Polymorphism / Hindley–Milner / Valuation / Software engineering / Programming language theory / Computing

Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Sakyo-ku, Kyoto[removed]removed]

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 03:22:14
40Object-oriented programming / Data types / Programming paradigms / Type theory / Cross-platform software / Type system / Object / Immutable object / Region-based memory management / Software engineering / Computing / Computer programming

SafeJava: A Unified Type System for Safe Programming by Chandrasekhar Boyapati B.Tech. Indian Institute of Technology, Madras[removed]S.M. Massachusetts Institute of Technology (1998)

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2008-10-27 16:04:08
UPDATE